#ifndef KERNEL_LOCK_H
#define KERNEL_LOCK_H

#include "synch.h"
#include "addrspace.h"

class KernelLock
{
public:
	KernelLock(char* name);
	KernelLock();
	~KernelLock();
	Lock* lock;
	bool available;
	bool toBeDeleted;
	AddrSpace* space; 
};

class KernelCondition
{
public:
	KernelCondition(char* name);
	KernelCondition();
	~KernelCondition();
	Condition* cond;
	bool available;
	bool toBeDeleted;
	AddrSpace* space; 
};

#endif
